-
1 negation of theorem
Большой англо-русский и русско-английский словарь > negation of theorem
-
2 negation of theorem
Математика: обратная теорема -
3 negation of theorem
мат. -
4 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
5 negation
-
6 negation theorem
Большой англо-русский и русско-английский словарь > negation theorem
-
7 negation theorem
Математика: теорема об отрицании -
8 negation theorem
мат. -
9 обратная теорема
1) Engineering: inverse theorem, reciprocal theorem2) Mathematics: converse, converse of theorem, negation of theorem, the converse, converse theorem3) Makarov: converse of a theorem -
10 обратная теорема
converse, converse of theorem, converse theorem, inverse theorem, negation of theoremРусско-английский научно-технический словарь Масловского > обратная теорема
-
11 теорема об отрицании
negation theorem мат.Русско-английский научно-технический словарь Масловского > теорема об отрицании
-
12 converse
-
13 закон
act, law, principle* * *зако́н м.
law; rule; principleизменя́ться по (за́данному) зако́ну — change [vary] in a (predetermined) manner [fashion]сигна́л изменя́ется по зако́ну модули́рующего напряже́ния — the signal follows the modulating voltageнаходи́ть по зако́ну — find [determine, give] by the lawзако́н о том, что … — the law that …по зако́ну — under the lawподчиня́ться зако́ну — obey the lawсогла́сно зако́ну — by [according to] the lawзако́н Авога́дро — Avogadro's hypothesis, Avogadro's lawзако́н аддити́вности — additivity law, principle of additivityадиабати́ческий зако́н — adiabatic lawзако́н Архиме́да — Archimedes' principleзако́н ассоциати́вности — associative lawзако́н Бабо́ ( в физической химии) — Babo's lawзако́н Бавено́ крист. — Baveno twin lawзако́н Берну́лли ( в теории вероятностей) — Bernoulli's theoremзако́н биномиа́льного распределе́ния — binomial(-distribution) lawзако́н Би́о—Сава́ра ( в электродинамике) — Biot-Savart's lawзако́н Бо́йля—Марио́тта — Boyle's law, Mariotte's lawзако́н Бо́льцмана ( в статистической механике) — Boltzmann distribution lawзако́н больши́х чи́сел — law of large numbers, law of averagesзако́н Бу́гера-Ламбе́рта-Бе́ера ( в аналитической химии) — Bouguer-Lambert-Beer law, Beer-Lambert-Bouguer lawзако́н Вант-Го́ффа — Van't Hoff lawвероя́тностный зако́н — probability law, law of probabilityзако́н взаи́мности ( в теории чисел) — reciprocity lawзако́н взаи́мности квадра́тных вы́четов — quadratic reciprocity lawзако́н взаимозамести́мости кфт. — reciprocity law, Bunsen-Roscoe lawзако́н виртуа́льных скоросте́й — law of virtual velocitiesзако́н возраста́ния энтропи́и — law of degradation of energyзако́н всеми́рного тяготе́ния Ньюто́на — (Newton's) law of gravitationзако́н Ге́йгера—Нетто́ла яд. физ. — Geiger-Nuttall ruleзако́н Гей-Люсса́ка ( в термодинамике) — Gay-Lussac's law, combining volumes principle, Charle's lawзако́н Ге́нри ( в термодинамике) — Henry's lawзако́н Ге́сса ( в термохимии) — Hess's law, law of constant heat summationгиперболи́ческий зако́н — hyperbolic lawзако́н Грэ́ма ( в коллоидной химии) — Graham's lawзако́н Гу́ка ( в механике) — Hooke's lawзако́н Дальто́на ( в кинетической теории газов) — Dalton's law, law of partial pressuresзако́н Да́рси ( в гидродинамике) — Darcy's lawзако́н движе́ния электро́нов в электри́ческом по́ле — behavior of electrons in an electric fieldзако́н двойно́го отрица́ния — law of double negationдвучле́нный зако́н — binomial lawзако́н де́йствия и противоде́йствия — law of action and reactionзако́н де́йствующих масс — law of mass action, mass action lawзако́н Джо́уля—Ле́нца — Joule's lawзако́н дистрибути́вности — distributive lawзако́н дистрибути́вности дизъю́нкции относи́тельно конъю́нкции — distributive law of disjunction over conjunctionзако́н дистрибути́вности конъю́нкции относи́тельно дизъю́нкции — distribution law of conjunction over disjunctionзако́н идеа́льного га́за — ideal gas lawзако́н излуче́ния Пла́нка — Planck distribution law, Planck radiation formulaзако́н излуче́ния Рэ́лея—Джи́нса ( в статистической механике) — Rayleigh-Jeans lawзако́н ине́рции — Galileo's law of inertia, first law of motionзако́н исключё́нного тре́тьего — law of the excluded middleквадрати́чный зако́н — square lawква́нтовый зако́н — quantum lawзако́н Ке́плера астр. — Kepler's lawзако́ны Кирхго́фа — Kirchhoff's lawsзако́н Кольра́уша ( в физической химии) — Kohlrausch's lawзако́н коммутати́вности — commutative lawзако́н конве́кции — raw or convectionзако́н ко́синуса — cosine lawзако́н кра́сного смеще́ния астр. — the red-shift law, Hubble lawзако́н кра́тных отноше́ний — (Dalton's) law of multiple proportionsзако́н Куло́на — Coulomb's lawлине́йный зако́н — linear lawзако́н ма́лых чи́сел — law of small numbersзако́н Менделе́ева, периоди́ческий — Mendeleev's periodic lawзако́н наиме́ньшего де́йствия — principle of least actionнеква́нтовый зако́н — unquantized lawзако́ны меха́ники Нью́тона — Newton's laws of motionзако́н обрати́мости опт. — principle of reversibilityзако́н обра́тных квадра́тов — inverse-square lawзако́н объё́мных отноше́ний — law of combining volumesзако́н О́ма — Ohm's lawосновно́й зако́н — fundamental lawзако́н оши́бок — error functionзако́н паё́в — law of multiple proportionsзако́н парциа́льных давле́ний — Dalton's law, law of partial pressuresзако́н Паска́ля ( в гидростатике) — Pascal's lawзако́н Па́шена ( в теории газовых разрядов) — Paschen's lawперемести́тельный зако́н — commutative lawзако́н площаде́й — law of areasзако́н поглоще́ния — law of absorptionзако́н подо́бия — scaling [similarity, similitude] lawзако́н по́лного то́ка — Ampere's circuital lawзако́н постоя́нства соста́ва — law of constant [definite] proportionsзако́н постоя́нства сумм тепла́ ( в термохимии) — Hess's law, law of constant heat summationзако́н постоя́нства угло́в — law of constant anglesзако́н преобразова́ния — transformation lawзако́н простра́нственного заря́да — spacecharge lawзако́н просты́х объё́мных отноше́ний — Gay-Lussac's law, combining volumes principle, Charle's lawзако́н противоре́чия — law of contradictionзако́н Пуазё́йля ( закон ламинарного течения вязкой жидкости через тонкую трубку) — Poiseuille's lawзако́н равноме́рного распределе́ния — equipartition lawзако́н радиоакти́вного распа́да — radioactive decay lawзако́н радиоакти́вного смеще́ния — radioactive-displacement lawзако́н развё́ртывания — law of developmentзако́н распределе́ния — distribution [partition] lawзако́н распределе́ния вероя́тностей — probability [distribution] lawзако́н распределе́ния оши́бок — law (of propagation) of errorsраспредели́тельный зако́н — distributive lawзако́н Рау́ля ( в физической химии) — Raoult's lawзако́н регули́рования — control (mode), control actionзако́н регули́рования, астати́ческий — integral control (mode [action]), I-control (mode [action])зако́н регули́рования, изодро́мный — proportional-plus-integral control [PI-control] (action)зако́н регули́рования, изодро́мный с предваре́нием [по произво́дной] — proportional-plus integral-plus derivative control [PID-control] (action)зако́н регули́рования, стати́ческий — proportional control (mode [action]), P-control (mode [action])зако́н рефлекти́вности — reflexive lawзако́н Рэ́лея ( в теории рассеяния света) — Rayleigh lawзако́н самодистрибути́вности — self-distributive lawзако́н свобо́дного паде́ния — free-fall lawзако́н симме́трии — symmetry lawзако́н си́нусов — sine lawзако́н сло́жных проце́нтов — law of compound interestзако́н случа́йных оши́бок — law of accidental errorsзако́н смеще́ния Ви́на — Wien's (displacement) lawзако́н сохране́ния коли́чества движе́ния — law of conservation of momentumзако́н сохране́ния ма́ссы — law of conservation of massзако́н сохране́ния мате́рии — law of conservation of matterзако́н сохране́ния эне́ргии — law of conservation of energyсочета́тельный зако́н — associative lawзако́н тавтоло́гии — law of tautologyзако́н термодина́мики — law of thermodynamicsзако́н то́ждества — law of identity, idempotent lawзако́н транзити́вности — transitive lawзако́н трёх вторы́х — three-halves power lawзако́н тройно́го отрица́ния — law of triple negationзако́н тяготе́ния Эйнште́йна — Einstein's law of gravitation, Einstein's field equationsзако́н упру́гости — law of elasticityзако́ны Фараде́я ( основные законы электролиза) — Faraday's laws of electrolysisзако́н Фараде́я—Ма́ксвелла—Ле́нца — Faraday's law of induction, law of electromagnetic inductionзако́н хими́ческих эквивале́нтов — law of multiple proportionsзако́н це́лых чи́сел — law of rational inducesзако́н Эйнште́йна ( в фотохимии) — Einstein law of photochemical equivalencesзако́н эквивале́нтов — law or multiple proportionsэкспоненциа́льный зако́н — exponential law* * * -
14 теорема об отрицании
Большой англо-русский и русско-английский словарь > теорема об отрицании
-
15 теорема об отрицании
Mathematics: negation theoremУниверсальный русско-английский словарь > теорема об отрицании
-
16 extension
1) надставка; насадка2) удлинитель3) выступающая часть, консольная часть4) пристройка5) продление; продолжение6) простирание; протяжённость; распространение7) растяжение; распрямление8) сварка установочная длина9) геод. сгущение сети опорных точек10) расширение; удлинение; добавление; увеличение11) экстенсия, разгибание•extension in space — матем. протяжённость в пространстве
extension by definition — матем. расширение с помощью определений
extension by adjunction — матем. расширение путём присоединения
См. также в других словарях:
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Cox's theorem — Cox s theorem, named after the physicist Richard Threlkeld Cox, is a derivation of the laws of probability theory from a certain set of postulates. This derivation justifies the so called logical interpretation of probability. As the laws of… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Compactness theorem — In mathematical logic, the compactness theorem states that a set of first order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for… … Wikipedia
Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… … Wikipedia
Rice's theorem — In computer science, Rice s theorem named after Henry Gordon Rice (also known as The Rice Myhill Shapiro theorem after Rice and John Myhill) states that, for any non trivial property of partial functions, there exists at least one algorithm for… … Wikipedia
Heine–Cantor theorem — In mathematics, the Heine–Cantor theorem, named after Eduard Heine and Georg Cantor, states that if M is a compact metric space, then every continuous function: f : M rarr; N , where N is a metric space, is uniformly continuous.For instance, if f … Wikipedia
Lindström's theorem — In mathematical logic, Lindström s theorem states that first order logic is the strongest logic (satisfying certain conditions, e.g. closure under classical negation) having both the compactness property and the Downward Löwenheim Skolem property … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium